Quasi-continuous Yoneda Complete Quasi-Metric Space
نویسندگان
چکیده
منابع مشابه
On the Yoneda completion of a quasi-metric space
Several theories aimed at reconciling the partial order and the metric space approaches to Domain Theory have been presented in the literature (e.g. Flagg and Kopperman, Theoret. Comput. Sci. 177 (1) (1997) 111–138; Bonsangue et al., Theoret. Comput. Sci. 193 (1998) 1–51; Symth, Quasi-Uniformities: Reconciling Domains with Metric Spaces, Lectures Notes in Computer Science, vol. 298, Springer, B...
متن کاملA Result in Dislocated Quasi Metric Space
In this paper, we prove a fixed point theorem in dislocated quasi-metric space which extends and unifies some well-known similar results in literature. Mathematics Subject Classification: 47H10, 54H25.
متن کاملA Few Notes on Formal Balls
Using the notion of formal ball, we present a few new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its d-Scott topology; for standard quasi-metric spaces, algebraicity is equivalent to having enough center points; on a standard quasi-metric space, every lower sem...
متن کاملFixed Point Theorems on Complete Quasi Metric Spaces Via C-class and A-Class Functions
In this paper, we present some fixed point theorems for single valued mappings on $K$-complete, $M$-complete and Symth complete quasi metric spaces. Here, for contractive condition, we consider some altering distance functions together with functions belonging to $C$-class and $A$-class. At the same time, we will consider two different type $M$ functions in contractive conditions because the qu...
متن کاملQuasi-contractive Mappings in Fuzzy Metric Spaces
We consider the concept of fuzzy quasi-contractions initiated by '{C}iri'{c} in the setting of fuzzy metric spaces and establish fixed point theorems for quasi-contractive mappings and for fuzzy $mathcal{H}$-contractive mappings on M-complete fuzzy metric spaces in the sense of George and Veeramani.The results are illustrated by a representative example.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2019
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2019.07.024